The `[T:TYPE] MaskOf := MASK(T)` type descriptor refers to a `MASK` exposing all of `T`'s functions.